More from this Author

Topology via Logic

by Steven Vickers, C. J. van Rijsbergen (Contribution by), S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by)

The Optimal Implementation of Functional Programming Languages

by Andrea Asperti, Stefano Guerrini, S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. V. De Bakker (Contribution by), C. J. van Rijsbergen (Contribution by)

Basic Proof Theory

by A. S. Troelstra, H. Schwichtenberg, C. J. van Rijsbergen (Contribution by), S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by)

Term Rewriting Systems

by J. W. Klop, R. C. De Vrijer, S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), Terese, J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by), C. J. van Rijsbergen (Contribution by)

Domains and Lambda-Calculi

by Roberto M. Amadio, Pierre-Louis Curien, C. J. van Rijsbergen (Contribution by), S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by)

Belief Revision

by Peter Gärdenfors (Editor), C. J. van Rijsbergen (Contribution by), S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by)